태그: Ideal type